Modelling timed reactive systems from natural-language requirements
نویسندگان
چکیده
منابع مشابه
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
To analyse the behaviour of reactive systems formally, it is necessary to build a model. At the very beginning of the development, typically only natural language requirements are documented. We present a formal model, named Data-Flow Reactive Systems (DFRS), which can be automatically obtained from natural language requirements that may also describe temporal properties. We prove that a DFRS c...
متن کاملA Timed Speciication Language for Concurrent Reactive Systems a Timed Speciication Language for Concurrent Reactive Systems
متن کامل
Demand and Requirements for Natural Language Systems
T h i s paper p r e s e n t s t he r e s u l t s o f a market I n q u i r y on German n a t u r a l language systems (NLS) , wh i ch may p r o v i d e a b a s i s f o r d i s c u s s i o n s about a p p l i c a t i o n s o f A l sys tems . Fea tu res o f a p p l i c a t i o n a reas in wh i ch NLS a re d e s i r e d are ana l yzed and r e q u i r e m e n t s f o r c a p a b i l i t i e s o f NL...
متن کاملA Timed Specification Language for Concurrent Reactive Systems
In this paper we present a simple real-time speciication language SL time , for which we deene a semantics based on timing diagrams. An example of a speciication will illustrate the meaning of the single parts of SL time. The aim of our approach is to develop and prove correct programs in an occam dialect PL time which contains timing operators and concurrency with synchronous communication. Th...
متن کاملMoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such as iteration, alternatives, atomic statements, and exception handling – with means to describe complex systems in a compositional manner. In addition, MoDeST incorporates means to describe important phenomena such as no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2016
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-016-0387-x